$\forall$$A$,$B$:$\mathbb{P}$. Dec($A$) $\Rightarrow$ (($\neg$($A$ $\wedge$ $B$)) $\Leftarrow\!\Rightarrow$ (($\neg$$A$) $\vee$ ($\neg$$B$)))